Add the 2048 renamed desktop id.

gnome-2048 id is now set to
org.gnome.TwentyFortyEight.

diff --git a/js/ui/appFavorites.js b/js/ui/appFavorites.js
index 7def1571ebdf60f90e9b80a9dd453cce5dc18931..51787270d67255502826236aae64d141b5145499 100644 (file)
--- a/js/ui/appFavorites.js
+++ b/js/ui/appFavorites.js
@@ -43,6 +43,7 @@ const RENAMED_DESKTOP_IDS = {
     'gtali.desktop': 'tali.desktop',
     'iagno.desktop': 'org.gnome.Reversi.desktop',
     'nautilus.desktop': 'org.gnome.Nautilus.desktop',
+    'org.gnome.gnome-2048.desktop': 'org.gnome.TwentyFortyEight.desktop',
     'org.gnome.Weather.Application.desktop': 'org.gnome.Weather.desktop',
     'polari.desktop': 'org.gnome.Polari.desktop',
     'totem.desktop': 'org.gnome.Totem.desktop',